$\forall$$a$, $b$, $c$:$\mathbb{Q}$. $a$ $<$ $b$ $\Rightarrow$ $b$ $<$ $c$ $\Rightarrow$ $a$ $<$ $c$